Elementary Logic from an Advanced Standpoint

Elementary Mathematics from an Advanced Standpoint

In 1908, the German mathematician and mathematics educator Felix Klein published a series of three books (in German) under the title of Elementary Mathematics from an Advanced Standpoint, henceforth called EMAS for short. The first volume was subtitled Arithmetic, Algebra, Analysis, and the second volume was subtitled Geometry. Both of these volumes were translated into English in the1930s, and...

Advanced Data Analysis from an Elementary Point of View

Modeling Multiagent Deliberation from an Abstract Standpoint

Simply put, a multiagent system can be understood as a collection of autonomous agents able to accomplish as a whole goals beyond the capabilities of any of its members. The traditional example depicts a heavy armchair that can be easily lifted by coordinating the effort of a group of persons despite that none of them would have been able to pick it up alone. Thus, one might argue that precisel...

An Elementary Logic for Object Speci

In the present paper we sketch an elementary logic for specifying information systems as systems of dynamic objects. First, we informally present the ingredients which should be included in a logic for abstract object speciications. Afterwards we turn to a calculus which realizes a basic part of such a logic. For this calculus a simple proof system is provided which permits to gain experience i...

Computation Paths Logic: An Expressive, yet Elementary, Process Logic

A new process logic is defined, called computation paths logic (CPL). which treats lbnn~~la~ and programs essentially alike. CPL is a pathwlse extension of PDL. following the basic pt-ocess logic of Harel. Kozen and Parikh. and is close in spirit to the logic R of Hare1 and Peleg. It enjoys most of the advantages of previous process logics. yet is decidable in elementary tlmc. We also ofrcr ext...